let (>=>) f g = fun a -> 
  let mb = f a in
  ...
